Auswahl der Parameterdateien

Hier stehen bis zu sieben Dateien, die Parameter für DVI enthalten. Genaueres steht bei der Parameterdatei in [*].